tautological implication

un. 〔逻〕重言蕴涵